Factors Influencing Prosthetic Procedures [Abstract]

Factors Influencing Radiation Use During Fluoroscopic Procedures

Slicing Pointers and Procedures (abstract)

Program slicing restricts attention the components of a program relevant to evaluation of one expression, the slicing criterion. Our slicer, which explicitly represents the store as an aggregate value is the rst to support arbitrary pointer manipulations and aggregate values, and is faster than more limited techniques. We also improve the asymptotic complexity of slicing in the presence of proc...

Decision Procedures and Abstract Interpretation

This report documents the program and the outcomes of Dagstuhl Seminar 14351 “Decision Procedures and Abstract Interpretation”. The seminar brought together practitioners and reseachers in abstract interpretation and decision procedures. The meeting highlighted the connections between the two disciplines, and created new links between the two research communities. Joint activities were also con...

Actor-Network Procedures - (Extended Abstract)

In this paper we propose actor-networks as a formal model of computation in heterogenous networks of computers, humans and their devices, where these new procedures run; and we introduce Procedure Derivation Logic (PDL) as a framework for reasoning about security in actor-networks, as an extension of our previous Protocol Derivation Logic. Both formalisms are geared towards graphic reasoning. W...

Routine procedures in NICUs: factors influencing pain assessment and ranking by pain intensity.

BACKGROUND Pain associated with routine procedures in NICUs is often inadequately managed. Barriers to more appropriate pain management are nurses' and physicians' knowledge and the challenges of collaborative decision-making. Few studies describe the differing perceptions of procedural pain intensity among nurses and physicians in NICUs which could complicate common decision-making. This study...